-type foo() :: integer().
-type foo_dependent() :: foo().
